Updating knowledge bases while maintaining their consistency
نویسندگان
چکیده
منابع مشابه
Consistency of scientific knowledge bases
The Plinius-project at the University of Twente is aimed at constructing large-scale knowledge bases in scientific and engineering domains, through computer analysis of natural-language texts. One of the many problems in this endeavor is caused by inconsistencies in the scientific literature. In this short report (of which a fuller version is available [de Jong, 1992]) we describe our approach ...
متن کاملUpdating Knowledge Bases with Disjunctive Information
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that the conventional minimal change methods, eg. the PMA 11], were generally problematic for updating knowledge bases with disjunctive information. In this paper, we propose two diierent approaches to deal with this problem { one is called the minimal change with exc...
متن کاملUpdating inconsistent Description Logic knowledge bases
Finding an appropriate semantics for task of updating an inconsistent knowledge base is a challenging problem. In this paper, we consider knowledge bases expressed in Description Logics, and focus on ABox inconsistencies, i.e., the case where the TBox is consistent, but the whole knowledge base is not. Our first contribution is the definition of a new semantics for updating an inconsistent Desc...
متن کامل1996-Updating Knowledge Bases with Disjunctive Information
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA (Winslett 1988), are generally problematic for updating knowledge bases with disjunctive information. In this paper, we propose two different approaches to deal with this problem one is called the nae’pzirnal chara...
متن کاملSplitting and updating hybrid knowledge bases
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to as hybrid knowledge bases, where both DL axioms and rules can be used to represent knowledge. The need to use ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The VLDB Journal
سال: 1995
ISSN: 1066-8888,0949-877X
DOI: 10.1007/bf01237920